Nếu như trong logic toán, một mệnh đề chỉ có thể nhận một trong hai giá trị chân lý 0 hoặc 1 thì trong Trí tuệ nhân tạo người ta dùng logic mờ, mà ở đó giá trị chân lý của một mệnh đề là một số nằm giữa 0 và 1. Mệnh đề có giá trị chân lý 0 là sai, có giá trị chân lý 1 là đúng. Còn giá trị chân lý nằm giữa 0 và 1 chỉ ra mức độ thay đổi của chân lý.